|
Gisbert F. R. Hasenjaeger (June 1, 1919 – September 2, 2006) was a German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logic.〔(【引用サイトリンク】title=anläßlich der Erneuerung der Doktorurkunde )〕 He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung at Karlstejn, and was responsible for the security of the Enigma machine. ==Personal life== Gisbert Hasenjaeger went to high school in Mülheim. His father was a lawyer and local politician. At the beginning of World War 2, he volunteered for military service and fought in the Russian campaign where he was badly injured in 1942 and served with artillery. Invalided out of the service, he worked as assistant to Heinrich Scholz, starting cryptography training in October 1942, and worked in Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung (OKW/Chi) at Karlstejn, the youngest member at 24, responsible for the security of the Enigma machine. He knew Heinrich Scholz since his school days and corresponded with him during his time as a conscript. At the end of the war as OKW/Chi disintegrated, Hasenjaeger managed to escape the clutches of TICOM, the allied effort to roundup and seize captured German intelligence people and material. From the end of 1945, he studied mathematics and especially mathematical logic with Heinrich Scholz at the Westfälische Wilhelms-Universität University in Münster. In 1950 received his doctorate: ''Topological studies on the semantics and syntax of an extended predicate calculus'' and completed his habilitation in 1953.〔 In Münster, he worked as an assistant to Scholz and later co-author, to write the textbook ''Fundamentals of Mathematical Logic'' in ''Springer's Grundlehren series'' (Yellow series of Springer-Verlag), which he published in 1961 fully 6 years after Scholz's death. In 1962 he became professor at the University of Bonn, where he was Director of the newly created Department of Logic.〔 In 1962, Hasenjaeger left Münster University to take a full professorship at Bonn University, where he was established Director of the newly established Department of Logic and Basic Research. In 1964/65 he spent a year at Princeton University. His doctoral students at Bonn included Ronald B. Jensen, his most famous pupil.〔 He became professor emeritus in 1984. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Gisbert Hasenjaeger」の詳細全文を読む スポンサード リンク
|